Software flow control

Results: 1051



#Item
91

Vectorization of Control Flow with New Masked Vector Intrinsics Elena Demikhovsky Intel® Software and Services Group – Israel April, 2015

Add to Reading List

Source URL: llvm.org

- Date: 2015-05-07 11:28:28
    92

    2011 IEEE Symposium on Security and Privacy Verification of Information Flow and Access Control Policies with Dependent Types Aleksandar Nanevski Anindya Banerjee IMDEA Software Institute

    Add to Reading List

    Source URL: ieee-security.org

    Language: English - Date: 2011-04-10 18:06:54
      93Compilers / LLVM / D / Control flow / Software engineering / Computing / Computer programming

      LLPE Highly accurate partial evaluation for LLVM IR Christopher Smowton University of Manchester (kinda)

      Add to Reading List

      Source URL: llvm.org

      Language: English - Date: 2015-05-07 11:28:28
      94Seaside / ASP.NET / WebObjects / Application server / Model–view–controller / Uniface / Software / Computing / Web application frameworks

      Seaside – A Multiple Control Flow Web Application Framework ? St´ephane Ducasse a Adrian Lienhard b Lukas Renggli b a Software Composition Group

      Add to Reading List

      Source URL: scg.unibe.ch

      Language: English - Date: 2006-07-19 09:18:24
      95Subroutines / Control flow / Cross-platform software / JavaScript / Callback / Stub / Serialization / Eval / Computing / Software engineering / Computer programming

      Pivot: Fast, Synchronous Mashup Isolation Using Generator Chains James Mickens Microsoft Research Abstract—Pivot is a new JavaScript isolation framework for

      Add to Reading List

      Source URL: ieee-security.org

      Language: English - Date: 2014-04-21 13:48:10
      96Control flow / Models of computation / Subroutines / Recursion / Scheme programming language / Tail call / Stack / Data-flow analysis / State / Software engineering / Computer programming / Computing

      Pushdown Flow Analysis of First-Class Control Dimitris Vardoulakis Olin Shivers Northeastern University

      Add to Reading List

      Source URL: www.ccs.neu.edu

      Language: English - Date: 2011-09-19 12:06:16
      97Data types / Functional programming / Type theory / Higher-order functions / Control flow / Fold / Map / Generalized algebraic data type / Eval / Software engineering / Computing / Computer programming

      Combining Deep and Shallow Embedding for EDSL Josef Svenningsson and Emil Axelsson Chalmers University of Technology {josefs,emax}@chalmers.se

      Add to Reading List

      Source URL: www.cse.chalmers.se

      Language: English - Date: 2012-11-28 10:50:59
      98Control flow / Subroutines / Call stack / Stack / Continuation / Tail call / Closure / Thread / Scheduling / Software engineering / Computing / Computer programming

      This paper appears in the Proceedings of the 2002 Usenix Annual Technical Conference, Monterey, CA, JuneCooperative Task Management without Manual Stack Management or, Event-driven Programming is Not the Opposite

      Add to Reading List

      Source URL: www.scs.stanford.edu

      Language: English - Date: 2004-04-06 18:09:36
      99Software bugs / Subroutines / C Standard Library / Return-to-libc attack / Control flow / Stack buffer overflow / Buffer overflow / Address space layout randomization / JMP / Computing / Software engineering / Computer programming

      Out Of Control: Overcoming Control-Flow Integrity Enes Gökta¸s∗ Elias Athanasopoulos† Vrije Universiteit

      Add to Reading List

      Source URL: www.ieee-security.org

      Language: English - Date: 2014-04-21 13:48:10
      100Control flow / Foreach loop / MapReduce / Database / Computing / Parallel computing / Software engineering

      Faster data science — without a cluster Parallel programming in R Nick Elprin Domino Data Lab dominodatalab.com

      Add to Reading List

      Source URL: files.meetup.com

      Language: English - Date: 2015-01-22 15:18:49
      UPDATE